منابع مشابه
Weak necessity and truth theories
(2) Socrates is a man are semantic, and not merely syntactic, constituents of (1); someone who does not understand that name or that predicate does not understand (1). In this respect (1) differs from the metalinguistic “Socrates is a man” is a necessary truth in English. (b) Intuitively, also, (1) results from the application of a sentential operator “necessarily” to (2) at least somewhat as S...
متن کاملThe “Weak Generics” Problem: Sources, Implications and Treatment
Generic design aims at achieving non-redundancy for simplification reasons, by unifying similarity patterns at design and code levels, whenever there is an engineering benefit of doing so. The extent of non-accidental repetitions recurring similar structures in programs suggests that the potential of generic design may not be fully exploited. Poor design and ad hoc maintenance are the two often...
متن کاملUpdate Semantics for Weak Necessity Modals
Thispaper develops anupdate semantics forweaknecessitymodals (‘ought’, ‘should’). The central idea, defended in greater detail elsewhere (Silk 2012b), is that weak necessity modals suspend the assumption that the necessity of the modal’s prejacent is verified in the evaluation world. Weak necessity modals afford a means of entertaining and planning for hypothetical extensions of the current con...
متن کاملEvidence Sensitivity in Weak Necessity Deontic Modals
Kolodny and MacFarlane () have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of informationsensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their s...
متن کاملGenerics and Reverse Generics for Pharo
Generic programming is a mechanism for re-using code by abstracting specific types used in classes and programs. In this paper, we present a mechanism for adding generic programming in dynamically typed languages, showing how programmers can benefit from generic programming. Furthermore, we enhance the expressiveness of generic programming with reverse generics, a mechanism for automatically de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Inquiry
سال: 2018
ISSN: 0020-174X,1502-3923
DOI: 10.1080/0020174x.2018.1426683